x86/mm: fix broken shadow debug printk

Signed-off-by: Andres Lagar-Cavilla <andres@lagarcavilla.org>
Acked-by: Tim Deegan <tim@xen.org>
Committed-by: Tim Deegan <tim@xen.org>

diff --git a/xen/arch/x86/mm/shadow/common.c b/xen/arch/x86/mm/shadow/common.c
index 1f506365ac17e0e5b5e2902faa37509e32c55d67..62ffbbd041960e24cf70d4af3f6a8644944fbc98 100644 (file)
--- a/xen/arch/x86/mm/shadow/common.c
+++ b/xen/arch/x86/mm/shadow/common.c
@@ -2920,7 +2920,7 @@ static void sh_update_paging_modes(struct vcpu *v)
         if ( v->arch.paging.mode != old_mode )
         {
             SHADOW_PRINTK("new paging mode: d=%u v=%u pe=%d gl=%u "
-                          "(was g=%u s=%u)\n",
+                          "sl=%u (was g=%u s=%u)\n",
                           d->domain_id, v->vcpu_id,
                           is_hvm_domain(d) ? hvm_paging_enabled(v) : 1,
                           v->arch.paging.mode->guest_levels,